Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking Maurice H. ter Beek Axel Legay

Source URL: arxiv.org

Software Model Checking by Program Specialization Emanuele De Angelis ,

Source URL: www.sci.unich.it

Functionals for the Semantic Specification of Temporal Formulas for Model Checking Raymond Boute and Hannes Verlinde INTEC, Ghent University, Belgium, , WWW home page:

Source URL: www.funmath.be

Experimental Analysis of Different Techniques for Bounded Model Checking Nina Amla1 , Robert Kurshan1 , Kenneth L. McMillan1 , and Ricardo Medel2 2 1

Source URL: www.kenmcmil.com

Model Checking Infinite State Spaces Javier Esparza Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh

Source URL: www7.in.tum.de

L op Detection Advances in Counterexample Guided Abstraction-Refinement Counterexample-guided abstraction-refinement based on predicate abstraction enables model checking large C programs (such as Windows device drivers)

Source URL: www.georg.weissenbacher.name

The Expressive Completeness of Metric Temporal Logic *2ex

Source URL: highlights-conference.org

• Mathematical logic
• Logic
• Fuzzy logic
• Theoretical computer science
• Temporal logic
• Monoidal t-norm logic
• FO
• LTL
• BL
• First-order logic
• Model checking
• MTL

Model Checking of Concurrent Algorithms: From Java to C Cyrille Artho1 , Masami Hagiya2 , Watcharin Leungwattanakit2 , Yoshinori Tanabe3 , and Mitsuharu Yamamoto4 1

Source URL: staff.aist.go.jp

Model Checking Constraint LTL over Trees? Alexander Kartzow1,2 and Thomas Weidner1 1 2

Source URL: www.kartzow.de

Tools and Techniques for Model Checking Networked Programs Cyrille Artho RCIS/AIST Tokyo, Japan Watcharin Leungwattanakit

Source URL: staff.aist.go.jp